Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008

 Автор: , Автор:
Категория: CsLn_
Размер книги: 6.29 Mb